121. New computing techniques in physics research IV
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Particles)Nuclear physics(- Data processing- Congresses,، Nuclear physics- Data processing- Congresses,، Artificial intellignce- Congresses,، Software engineering- Congresses,، Algebra- Data processing- Congresses
رده :
QC
793
.
47
.
E4I58
1995
122. Proceedings of the 1991 International Symopsium on Symbolic and Algebraic Computation July 15-17 1991 Bonn Germeny
پدیدآورنده : / Stephen M. Watt, editor
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Mathematics-- Data processing -- Congresses,Algebra --Data processing -- Congresses
رده :
QA
76
.
95
.
I59
1991
123. Quantifier elimination and cylindrical algebraic decomposition
پدیدآورنده : B.F. Caviness, J.R. Johnson (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing -- Congresses.,Algorithms -- Congresses.,Decomposition method -- Data processing -- Congresses.
124. Symbolic and algebraic computation : International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988 : Proceedings
پدیدآورنده : P. Gianni, ed
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
358
125. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
پدیدآورنده : P. Gianni, ed
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Mathematics -- Data processing,Data processing --Congresses ، Algebra
رده :
QA
76
.
95
.
I57
1988
126. Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: proceedings
پدیدآورنده :
موضوع : Data processing Congresses ، Mathematics,Data processing Congresses ، Algebra
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
127. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
پدیدآورنده : P. Gianni, ed,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Mathematics - Data processing - Congresses,Algebra - Data processing - Congresses
رده :
QA
.
I57
76
.
95
1988
128. Symbolic and numerical scientific computation :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Differential equations ; Numerical solutions ; Congresses ; Numerical calculations ; Congresses ; Algebra ; Data processing ; Congresses ;
129. Symbolic and numerical scientific computation
پدیدآورنده : / Franz Winkler, Ulrich Langer (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Differential equations--Numerical solutions--Congresses,Numerical calculations--Congresses,Algebra--Data processing--Congresses
رده :
QA
,
370
,.
S67
,
2001
130. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
پدیدآورنده : edited by Manfred Kerber and Michael Kohlhase
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Algebra,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4C23
2000
131. Symbolic computation and automated reasoning: the CALCULEMUS-2000 Symposium
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Algebra-- Data processing,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4
.
C35
2000
132. Symbolic computation, number theory, special functions, physics, and combinatorics
پدیدآورنده : edited by Frank G. Garvan and Mourad E. H. Ismail
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، q-series,Data processing -- Congresses ، Algebra,Congresses ، Number theory,Congresses ، Functions, Special,Congresses ، Mathematical physics,Congresses ، Combinatorial analysis
رده :
QA
295
.
S97
133. Symbolic computation : solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation : Solving Equations in Algebra, Geometry, and Engineering, Mount Holyoke College, South Hadley, MA, June 11-15, 2000
پدیدآورنده : Edward L. Green ... ]et al.[, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Algebra,Data processing -- Congresses ، Equations -- Numerical solutions
رده :
QA
155
.
7
.
E4A488
2000
134. The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers
پدیدآورنده : edited by N. Inada, T. Soma
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
155
.
7
.
E4I58
1984
135. Topics in Computational Algebra
پدیدآورنده : edited by G.M. Piacentini Cattaneo, E. Strickland.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing -- Congresses.,Algebra -- Data processing.
رده :
QA155
.
7
.
E4
E358
1990
136. Topics in computational algebra
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Algebra- Data processing- Congresses
رده :
QA
155
.
7
.
E4
T67
1990
137. Topics in computational algebra
پدیدآورنده : edited by G.M. Piacentini Cattaneo and E. Strickland
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
155
.
7
.
E4T64
138. Trends in computer algebra : International Symposium, Bad Neuenahr, May 19-21, 1987 : proceedings
پدیدآورنده : R. Janssen, ed
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
296
139. Trends in computer algebra : international symposium, Bad Neuenahr, May 19-21, 1987 : proceedings
پدیدآورنده : R. Janssen, ed
موضوع : Algebra - Data processing - Congresses
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
140. Trends in computer algebra : international symposium, Bad Neuenahr, May 19-21, 1987 : proceedings
پدیدآورنده : R. Janssen, ed
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Data processing - Congresses ، Algebra
رده :
QA
76
.
L4
v
.
296
